航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

多梁复合结构的动力学建模及全局解析振型分析

多梁复合结构广泛用于工程领域，其动力学特性对相关装备的工作状况有着重要影响，建立准确适用的动力学模型对后续的动力学响应参数影响规律研究有决定性作用。针对工程中常见的多梁复合结构，给出了位移场的一般表达式，利用哈密顿原理得出多梁复合结构的运动控制方程和边界条件，对其全局解析振型进行理论计算，给出了计算多梁复合结构数值振型的一般过程，基于数值分析和实验分析以L型梁和Z型梁为例利用频率相对误差、振型定性比较和MAC定量分析说明了全局解析振型的求解验证方法，利用伽辽金方法和全局解析振型给出了截断原系统得到离散系统运动方程的一般形式。提出的多梁复合结构的建模方法和全局解析振型求解验证方法，对工程中此类结构动力学响应的参数影响规律研究有重要意义。     

复合材料面内剪切Iosipescue方法分析及试验研究

讨论了采用双Ｖ形开槽试样的Ｉｏｓｉｐｅｓｃｕ剪切试验方法的应用，分析了影响试验的因素，对Ｔ３００／５２２２复合材料单向板及π／４多向铺层层合板进行了试验研究。试验结果表明，此方法可以很好地用于复合材料剪切试验。     

CFG桩复合地基应力比数值分析

本文采用有限元ANSYS程序对CFG桩复合地基的单桩桩体荷载传递规律、应力比及影响因素进行了分析,得出了减小应力比的方法和措施,对工程可起借鉴的作用。     

Compression Creep Behavior of High Volume Fraction of SiC Particles Reinforced AI Composite Fabricated by Pressureless Infiltration

The compression creep deformation of the high volume fraction of SiC particles reinforced AI-Mg-Si composite fabricated by pressure-less infiltration was investigated. The experimental results show that the creep stress exponents are very high at temperatures of 673 K, 723 K and 773 K, and if taking the threshold stress into account, the true stress exponent of minimum creep strain rate is still approximately 5, although the volume fraction of reinforcements is very high. The creep strain rate in the high volume fraction reinforced aluminum alloy matrix composites is controlled by matrix lattice diffusion. It is found that the creep-strengthening effect of high volume fraction of silicon carbide particles is significant, although the particles do not form effective obstacles to dislocation motion.     

多向层合板层间分层断裂韧性研究(英文)

在传统的柔度法和面积法的基础上 ,采用角度法对多向层合板层间分层断裂韧性进行了测试。该方法通过测量载荷与试验加载点处两子梁的夹角 ,不需要测量裂纹长度。同时对传统的柔度法进行了改进 ,改进后的柔度法可以用来测量两子梁刚度不等的 DCB试样。采用柔度法和角度法同时测试了碳纤维增强两种不同基体层合板 0 /θ(θ=0 ,30 ,6 0和 90°)层间分层断裂韧性 ,得出了分层断裂韧性随 θ的变化规律。这两种层合板分别为碳纤维增强脆性基体的 T30 0 / 4 2 1 1和碳纤维增强韧性基体的T30 0 / 32 6 1。结果发现 ,多向层合板层间分层断裂韧性与基体性能和分层界面处的铺层角有关     

多向编织碳／碳复合材料力学行为研究

本文综述了作者近十年来在多向编织碳／碳复合材料力学性能研究方面的成果，包括力学模型与强度准则、热应力分析、断裂行为、性能预报与优化设计、超高温试验技术及组织性能与高温退化等内容，并分析了其存在的新问题和解决途径。     

高性能复合材料的发展

文章介绍高性能纤维复合材料的发展概况及我所复合材料成型技术专业发展应重点加强的环节。     

空天飞机的计算流体力学分析

本文分析了空天飞机空气动力学的特点和计算流体力学在发展空天飞机中的作用,讨论了发展空天飞机对计算流体力学的要求。强调了计算流体力学、地面试验和飞行试验应该相互结合成一个整体。在这基础上,探讨了利用地面试验对计算程序进行“确认”、“校准”和“鉴定”以及鉴定计算程序对地面试验的要求。本文还从计算方法、外流、进气道流动、喷管流动、燃烧室流动等方面,综述了空天飞机计算流体力学分析的最近进展和尚待解决的问题。最后对发展我国空天飞机计算流体力学提出了建议。     

复合材料结构健康主动监测中激励信号的优化

利用L am b波频散方程及其数值求解得到的频散曲线,对L am b波模式及激励信号中心频率范围进行预测。建立了试验测试系统,利用集成在复合材料层合板上的PZT压电陶瓷片作为驱动器和传感器,激励并接收结构中激发的L am b波信号。对具有不同函数形式、中心频率和波峰数的信号激励,结构中传播的L am b波模式进行试验研究,为激励信号的选择与优化提供依据。利用H ilbert-Huang变换及H ilbert谱提取传感器信号特征,提出了L am b波信号在结构中传播时的能量衰减率和损伤敏感度两个考察指标,并据此对激励信号进行优化。实验结果表明,优化后的激励信号在结构中能激发出单一模式的L am b波(S0模式),有效地抑制了多模式现象的出现。同时,激发出的L am b波具有最低的能量衰减和最高的损伤灵敏度,响应信号特征明显,便于损伤识别。